Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
561	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
562	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
563	American Computer Science LeagueClassroom Division Questions 1 -5 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:12 Functions and mappings Computability theory Theory of computation Binary arithmetic Octal Function Primitive recursive function Lambda calculus Mathematics Mathematical logic Theoretical computer science
564	Implementing and Automating complex arithmetic in quantomatic Benjamin Frot Thesis submitted to The University of Oxford for the degree of Master of Science Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-09-05 13:01:48 Mathematics Categorical quantum mechanics Braided monoidal category Monoid Qubit Quantum teleportation Lambda calculus Quantum computer Frobenius algebra Category theory Monoidal categories Algebra
565	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
566	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
567	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2014-01-05 02:30:19 Procedural programming languages Data types Lambda calculus C++ Functional programming ALGOL 68 Generator List comprehension Type system Software engineering Computing Computer programming
568	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics
569	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic

UPDATE